perm filename TAK.PSL[TIM,LSP]1 blob sn#734158 filedate 1983-12-03 generic text, type C, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00003 ENDMK
C⊗;

(de tak (x y z)
    (cond ((not (lessp y x))	;x≤y
	   z)
	  (t (tak (tak (sub1 x) y z)
		  (tak (sub1 y) z x)
		  (tak (sub1 z) x y)))))